foo
bar

s0 [
  foo -> s1,
  bar -> s2
]

match s1 []
match s2 []

f : s0, s1, s2
b : s0, s1, s2
